A Lukasiewicz Logic Based Prolog
نویسندگان
چکیده
Prolog is a programming language based on a restricted subset of classical rst order predicate logic. In order to overcome some problems of classical logic to handle imperfect human knowledge, we provide a formal framework for a Lukasiewicz logic based Prolog system. The use of Lukasiewicz logic with its connection to Ulam games enables us to deal with partial inconsistencies by interpreting the truth values as relative distance to contradiction. We also present the software tool LULOG which is based on the theoretical results of this paper and can be seen as a Prolog system for many{valued logic. Applications of LULOG to an Ulam game and an example of reasoning with imperfect knowledge are also discussed.
منابع مشابه
SOFT TOPOLOGY AND SOFT PROXIMITY AS FUZZY PREDICATES BY FORMULAE OF LUKASIEWICZ LOGIC
In this paper, based in the L ukasiewicz logic, the definition offuzzifying soft neighborhood structure and fuzzifying soft continuity areintroduced. Also, the fuzzifying soft proximity spaces which are ageneralizations of the classical soft proximity spaces are given. Severaltheorems on classical soft proximities are special cases of the theorems weprove in this paper.
متن کاملImplicit definability of truth constants in Łukasiewicz logic
In the framework of propositional Lukasiewicz logic, a suitable notion of implicit definability, tailored to the intended real-valued semantics and referring to the elements of its domain, is introduced. Several variants of implicitly defining each of the rational elements in the standard semantics are explored, and based on that, a faithful interpretation of theories in Rational Pavelka logic ...
متن کاملSome consequences of compactness in Lukasiewicz Predicate Logic
The Loś-Tarski Theorem and the ChangLoś-Susko Theorem, two classical results in Model Theory, are extended to the infinitevalued Lukasiewicz logic. The latter is used to settle a characterisation of the class of generic structures introduced in the framework of model theoretic forcing for Lukasiewicz logic [1]. Key-words: First Order Many-Valued Logic, Lukasiewicz logic, Model Theory.
متن کاملA Resolution Method for Linguistic Many-valued Logic
This paper studies the linguistic truth value domain (AX) based on finite monotonous hedge algebra and then we extend lukasiewicz algebra on [0, 1] to linguistic lukasiewicz algebra on linguistic truth value domain (AX), in an attempt to propose a general resolution for linguistic many-valued logic based on hedge moving rules and linguistic lukasiewicz algebra for linguistic reasoning. Its theo...
متن کاملOn Affine Logic and Łukasiewicz Logic
The multi-valued logic of Lukasiewicz is a substructural logic that has been widely studied and has many interesting properties. It is classical, in the sense that it admits the axiom schema of double negation elimination, [DNE]. However, our understanding of Lukasiewicz logic can be improved by separating its classical and intuitionistic aspects. The intuitionistic aspect of Lukasiewicz logic ...
متن کامل